Temporal Logic based Framework to Model and Analyse Gene Networks with Alternative Splicing
نویسنده
چکیده
Toward system-level understanding of biological systems, we need a formalism to model and analyse them. Due to incompleteness of knowledge about quantitative parameters and molecular mechanisms, qualitative methods have been useful alternatives. We have been working on temporal logic-based approach for qualitative modelling and analysis of gene regulatory networks. Although our framework is well-established to model several aspects of gene regulation, we still lack treatment of alternative splicing, which contributes to proteomic diversity of eukaryotic organisms. In this paper we extend our logic-based qualitative framework to be able to capture alternative splicing, which is crucial to model the gene regulatory networks in eukaryotic organisms. We study mechanisms of alternative splicing and propose how we model each mechanism, then demonstrate the modelling method by analysing the regulatory network of sex determination in Drosophila and verify that the network ensures sex determination.
منابع مشابه
Modular analysis of gene networks by linear temporal logic
Despite a lot of advances in biology and genomics, it is still difficult to utilise such valuable knowledge and information to understand and analyse large biological systems due to high computational complexity. In this paper we propose a modular method with which from several small network analyses we analyse a large network by integrating them. This method is based on the qualitative framewo...
متن کاملRestoration of correct splicing in IVSI-110 mutation of β-globin gene with antisense oligonucleotides: implications and applications in functional assay development
Objective(s): The use of antisense oligonucleotides (AOs) to restore normal splicing by blocking the recognition of aberrant splice sites by the spliceosome represents an innovative means of potentially controlling certain inherited disorders affected by aberrant splicing. Selection of the appropriate target site is essential in the success of an AO therapy. In this study, in search for a splic...
متن کاملApproximate Analysis of Homeostasis of Gene Networks by Linear Temporal Logic using Network Motifs
We proposed a novel framework to analyse homeostasis of gene networks using linear temporal logic. We formulate a kind of homeostasis as strong satisfiability of reactive system specifications. Both behaviours and properties of gene networks are specified in linear temporal logic and homeostasis of the network is checked by strong satisfiability checkers. Though this framework is simple and app...
متن کاملContext-aware Modeling for Spatio-temporal Data Transmitted from a Wireless Body Sensor Network
Context-aware systems must be interoperable and work across different platforms at any time and in any place. Context data collected from wireless body area networks (WBAN) may be heterogeneous and imperfect, which makes their design and implementation difficult. In this research, we introduce a model which takes the dynamic nature of a context-aware system into consideration. This model is con...
متن کاملRole of Aberrant Alternative Splicing in Cancer
Alternative splicing can alter genome sequence and as a consequence, many genes change to oncogenes. This event can also affect protein function and diversity. The growing number of study elucidate the pathological influence of impaired alternative splicing events on numerous disease including cancer. Here, we would like to highlight the significant role of alternative splicing in cancer biolog...
متن کامل